A Mechanized Proof of a Textbook Type Unification Algorithm
نویسندگان
چکیده
منابع مشابه
the investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
a cross-comparative dtudy between two textbook series in terms of the presentation of politeness
چکیده ندارد.
15 صفحه اولA Mechanized Proof Reconstruction for SCNP Termination
Ben-Amram and Codish described SCNP [2], a subclass of the size-change termination criterion SCT [8], which permits efficient certificate checking. Termination problems in this class have a global ranking function of a certain form, which can be found using SAT solving. This note describes an automated proof reconstruction for this certificate scheme, implemented in the theorem prover Isabelle/...
متن کاملiranian efl learners’ pragmatic development: a study of proficiency and textbook effect
در تحقیق حاضراین پرسش که آیا دانش کاربرد شناسی زبان آموزان ایرانی همگام با پیشرفت بسندگی زبانی آنها افزایش می یابد مورد مطالعه قرار گرفته و هم چنین به این پرسش که آیا زبان آموزان تعلیم دیده از طریق کتاب های تاپ ناچ و اینترچینج تفاوت معناداری از لحاظ سطح دانش کاربرد شناسی دلرند ، پاسخ داده شده است. در این تحقیق55 فراگیر زبان انگلیسی به عنوان زبان دوم ازطریق نمونه گیری در دسترس مورد مطالعه قرار گ...
applying transitivity theory to gender analysis of efl textbook: : a comparative study.
efl/esl textbooks have been regarded as essential language teaching materials with which the learners spend about 70 up to 90 percent of their class time. the important role they play and their vast use make them not only influential in learning the language but also in shaping values and attitudes. put it another way, textbooks socialize learners using their contents (i.e. texts, illustrations...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Informática Teórica e Aplicada
سال: 2020
ISSN: 2175-2745,0103-4308
DOI: 10.22456/2175-2745.100968